| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| inout.def | Modula Definition | 49 | 842 b | 1994-09-22 |
| mathcom.def | Modula Definition | 31 | 838 b | 1994-09-22 |
| mathlib0.def | Modula Definition | 23 | 384 b | 1994-09-22 |
| numio.def | Modula Definition | 39 | 1014 b | 1994-09-22 |
| realio.def | Modula Definition | 12 | 188 b | 1994-09-22 |
| terminal.def | Modula Definition | 58 | 1.1 KB | 1994-09-22 |